$\forall$$g$, $h$:IGroup, $f$:MonHom($g$,$h$), $a$:$\mid$$g$$\mid$. $f$($\sim$($a$)) = $\sim$($f$($a$)) $\in$ $\mid$$h$$\mid$